10 results
I-DLV-sr: A Stream Reasoning System based on I-DLV
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 610-628
-
- Article
- Export citation
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 4 / July 2021
- Published online by Cambridge University Press:
- 29 July 2021, pp. 402-403
-
- Article
-
- You have access
- Export citation
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1073-1089
-
- Article
- Export citation
Incremental Answer Set Programming with Overgrounding
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 957-973
-
- Article
- Export citation
Optimizing Answer Set Computation via Heuristic-Based Decomposition
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 4 / July 2019
- Published online by Cambridge University Press:
- 28 February 2019, pp. 603-628
-
- Article
- Export citation
Efficiently Coupling the I-DLV Grounder with ASP Solvers
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 04 December 2018, pp. 205-224
-
- Article
- Export citation
ENVIRONMENTAL REVIEWS AND CASE STUDIES: Addressing the Societal Costs of Unconventional Oil and Gas Exploration and Production: A Framework for Evaluating Short-Term, Future, and Cumulative Risks and Uncertainties of Hydrofracking
-
- Journal:
- Environmental Practice / Volume 14 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 13 December 2012, pp. 352-365
- Print publication:
- December 2012
-
- Article
- Export citation
Parallel instantiation of ASP programs: techniques and experiments
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 253-278
-
- Article
- Export citation
A predictive model to allocate frequent service users of community-based Mental Health Services to different packages of care
-
- Journal:
- Epidemiologia e Psichiatria Sociale / Volume 19 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 11 April 2011, pp. 168-177
-
- Article
- Export citation
Abductive logic programs with penalization: semantics, complexity and implementation
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 1-2 / January 2005
- Published online by Cambridge University Press:
- 10 January 2005, pp. 123-159
-
- Article
- Export citation